Quantum measure and integration theory

This article begins with a review of quantum measure spaces. Quantum forms and indefinite inner-product spaces are then discussed. The main part of the paper introduces a quantum integral and derives some of its properties. The quantum integral's form for simple functions is characterized and it is shown that the quantum integral generalizes the Lebesgue integral. A bounded, monotone convergence theorem for quantum integrals is obtained and it is shown that a Radon-Nikodym type theorem does not hold for quantum measures. As an example, a quantum-Lebesgue integral on the real line is considered.Comment: 28 page

Two-Site Quantum Random Walk

We study the measure theory of a two-site quantum random walk. The truncated decoherence functional defines a quantum measure $\mu_n$ on the space of $n$-paths, and the $\mu_n$ in turn induce a quantum measure $\mu$ on the cylinder sets within the space $\Omega$ of untruncated paths. Although $\mu$ cannot be extended to a continuous quantum measure on the full $\sigma$-algebra generated by the cylinder sets, an important question is whether it can be extended to sufficiently many physically relevant subsets of $\Omega$ in a systematic way. We begin an investigation of this problem by showing that $\mu$ can be extended to a quantum measure on a "quadratic algebra" of subsets of $\Omega$ that properly contains the cylinder sets. We also present a new characterization of the quantum integral on the $n$-path space.Comment: 28 page

Quantum measures and integrals

We show that quantum measures and integrals appear naturally in any $L_2$-Hilbert space $H$. We begin by defining a decoherence operator $D(A,B)$ and it's associated $q$-measure operator $\mu (A)=D(A,A)$ on $H$. We show that these operators have certain positivity, additivity and continuity properties. If $\rho$ is a state on $H$, then D_\rho (A,B)=\rmtr\sqbrac{\rho D(A,B)} and $\mu_\rho (A)=D_\rho (A,A)$ have the usual properties of a decoherence functional and $q$-measure, respectively. The quantization of a random variable $f$ is defined to be a certain self-adjoint operator \fhat on $H$. Continuity and additivity properties of the map f\mapsto\fhat are discussed. It is shown that if $f$ is nonnegative, then \fhat is a positive operator. A quantum integral is defined by \int fd\mu_\rho =\rmtr (\rho\fhat\,). A tail-sum formula is proved for the quantum integral. The paper closes with an example that illustrates some of the theory.Comment: 16 page

Uniqueness and order in sequential effect algebras

A sequential effect algebra (SEA) is an effect algebra on which a sequential product is defined. We present examples of effect algebras that admit a unique, many and no sequential product. Some general theorems concerning unique sequential products are proved. We discuss sequentially ordered SEA's in which the order is completely determined by the sequential product. It is demonstrated that intervals in a sequential ordered SEA admit a sequential product

The Universe and The Quantum Computer

It is first pointed out that there is a common mathematical model for the universe and the quantum computer. The former is called the histories approach to quantum mechanics and the latter is called measurement based quantum computation. Although a rigorous concrete model for the universe has not been completed, a quantum measure and integration theory has been developed which may be useful for future progress. In this work we show that the quantum integral is the unique functional satisfying certain basic physical and mathematical principles. Since the set of paths (or trajectories) for a quantum computer is finite, this theory is easier to treat and more developed. We observe that the sum of the quantum measures of the paths is unity and the total interference vanishes. Thus, constructive interference is always balanced by an equal amount of destructive interference. As an example we consider a simplified two-slit experimentComment: 15 pages, IQSA 2010 proceeding

Models for Discrete Quantum Gravity

We first discuss a framework for discrete quantum processes (DQP). It is shown that the set of q-probability operators is convex and its set of extreme elements is found. The property of consistency for a DQP is studied and the quadratic algebra of suitable sets is introduced. A classical sequential growth process is "quantized" to obtain a model for discrete quantum gravity called a quantum sequential growth process (QSGP). Two methods for constructing concrete examples of QSGP are provided.Comment: 15 pages which include 2 figures which were created using LaTeX and contained in the fil

Spectral representation of infimum of bounded quantum observables

In 2006, Gudder introduced a logic order on bounded quantum observable set $S(H)$. In 2007, Pulmannova and Vincekova proved that for each subset $\cal D$ of $S(H)$, the infimum of $\cal D$ exists with respect to this logic order. In this paper, we present the spectral representation for the infimum of $\cal D$

The structure of classical extensions of quantum probability theory

On the basis of a suggestive definition of a classical extension of quantum mechanics in terms of statistical models, we prove that every such classical extension is essentially given by the so-called Misra–Bugajski reduction map. We consider how this map enables one to understand quantum mechanics as a reduced classical statistical theory on the projective Hilbert space as phase space and discuss features of the induced hidden-variable model. Moreover, some relevant technical results on the topology and Borel structure of the projective Hilbert space are reviewed

An Approach to Discrete Quantum Gravity

This article presents a simplified version of the author’s previous work. We first construct a causal growth process (CGP). We then form path Hilbert spaces using paths of varying lengths in the CGP. A sequence of positive operators on these Hilbert spaces that satisfy certain normalization and consistency conditions is called a quantum sequential growth process (QSGP). The operators of a QSGP are employed to define natural decoherence functionals and quantum measures. These quantum measures are extended to a single quantum measure defined on a suitable collection of subsets of a space of all paths. Continuing our general formalism, we define curvature operators and a discrete analogue of Einstein’s field equations on the Hilbert space of causal sets. We next present a method for constructing a QSGP using an amplitude process (AP). We then consider a specific AP that employs a discrete analogue of a quantum action. Finally, we consider the special case in which the QSGP is classical. It is pointed out that this formalism not only gives a discrete version of general relativity, there is also emerging a discrete analogue of quantum field theory. We therefore have discrete versions of these two theories within one unifying framework